MATH 669: COMBINATORICS, GEOMETRY AND COMPLEXITY OF INTEGER POINTS Alexander Barvinok Abstract. These are rather condensed notes, not really proofread or edited, presenting key definitions and results of the course that

Source URL: www.math.lsa.umich.edu

• Leech lattice
• Moonshine theory
• Lattice
• Spectral theory of ordinary differential equations
• Lambda calculus

G¨odel functional interpretation and weak compactness Ulrich Kohlenbach1 Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany -darmstadt.d

Source URL: www.mathematik.tu-darmstadt.de

• Mathematics
• Mathematical analysis
• Operator theory
• Computability theory
• Arithmetic function
• Primitive recursive function
• Ergodic theory
• Hilbert space
• Theoretical physics
• Spectral theory of ordinary differential equations
• Differential forms on a Riemann surface

Fractional Adams–Bashforth/Moulton methods: An application to the fractional Keller–Segel chemotaxis system

Source URL: www.cse-lab.ethz.ch

• Fractional calculus
• Spectral method
• Dynamical systems
• Computability theory

Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces∗ Dedicated to Georg Kreisel on the occasion of his 85th birthday U. Kohlenbach1 , L. Leu¸stean1,2 1

Source URL: www.mathematik.tu-darmstadt.de

• Mathematical analysis
• Mathematics
• Analysis
• Metric geometry
• Operator theory
• Convex analysis
• Convex function
• Injective metric space
• Spectral theory
• Functional analysis
• Browder fixed point theorem
• Uniform boundedness principle

Spectral synthesis in Hilbert spaces of entire functions Anton Baranov (Saint Petersburg State University) Spectral synthesis is the possibility of the reconstruction of any invariant subspace of a linear operator from g

Source URL: www.7ecm.de

• Algebra
• Mathematics
• Linear algebra
• Operator theory
• Matrix theory
• Singular value decomposition
• Hilbert space
• Self-adjoint operator
• Spectral theory
• Eigenvalues and eigenvectors
• Vector space

Subharmonic Methods in Banach Algebra Theory Abstract In this Part III essay, a class of functions is introduced that includes harmonic functions on a domain in the complex plane. It is proved that the spectral radius

Source URL: www.math.uni-tuebingen.de

MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Accelerated graph-based spectral polynomial filters Knyazev, A.; Malyshev, A. TR2015-106

Source URL: www.merl.com

• Numerical linear algebra
• Filter theory
• LOBPCG
• Bilateral filter
• Filter
• Electronic filter
• Non-local means
• Noise reduction
• Iterative method
• Linear filter
• Photographic filter
• Preconditioner

Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008

Source URL: www.mathematik.tu-darmstadt.de

• Mathematics
• Mathematical analysis
• Mathematical logic
• Functions and mappings
• Computability theory
• Primitive recursive function
• Recursion
• Theory of computation
• First-order logic
• Limit of a function
• Peano axioms
• Spectral theory of ordinary differential equations

Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe–Universit¨at D–60054 Frankfurt, Germany

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Mathematics
• Mathematical logic
• Mathematical analysis
• Primitive recursive functional
• Symbol
• Continuous function
• Primitive recursive function
• operator
• Spectral theory of ordinary differential equations

MIR at LabROSA in 2014 Dan Ellis, Colin Raffel, Zhuo Chen, Dawen Liang, Minshu Zhan, Brian McFee, Nicole Rivilis, Jia-Ming (James) Liu, Cyril Gaudefroy, H`el´ene Papadopoulos, Hilary Mogul, Dylan Kario NEMISIG, January

Source URL: colinraffel.com

• Information science
• Information retrieval
• Algebraic graph theory
• Spectral clustering
• Collaborative filtering
• Ellis
• Collaboration